/**************************************************
Mini Dungeon - Mushroom
**************************************************/
void portal(Player@ player, Portal@ portal){
	int basemap = 105050100;
    if(player.getMap().getID() == basemap){
    player.changeMap(105050101, "out00");
	player.showMessage("You are now in Mini Dungeon - Cave of Mushrooms.");
    }
	else{
	player.changeMap(basemap, "MD00");
	player.showMessage("You are now in Dungeon - Ant Tunnel II.");	
	}
}